Security Analysis and Performance Evaluation of the Linkable Access Protocol of the Electronic Patient Records

Information security and privacy in the e-health domain is an issue of growing concern. The adoption of electronic patient records, increased regulation, provider collaboration and the increased need for a faster information exchange between patients, providers and payers, all point to the need for a better information security. Therefore, the aim of this paper is to provide secure access to electronic patient records without compromising performance. To achieve this, we have designed a secure protocol called the Linkable Access protocol. In this paper, (1) we formally verify and analyse the Linkble Access protocol against security properties (e.g., confidentiality) using the Casper/FDR2 verification tool. In addition, (2) we build a prototype using the Java technology to demonstrate the performance of the Linkable Access protocol. By doing this, we prove that the Linkable Access protocol maintains a good balance between security and performance. Keywords-e-Health; electronic patient records; privacy; security; performance.